problem of multiple generality造句
例句與造句
- Also, the problem of multiple generality was recognized in medieval times.
- quantified variables, which eventually became ubiquitous in mathematics and logic, and which solved the problem of multiple generality.
- As well as providing a unified and comprehensive system of logic, Frege's calculus also resolved the ancient problem of multiple generality.
- This instance of the problem of multiple generality, is now thought to be insoluble using the fixed schema of Aristotle's semantics.
- However, the introduction of quantification, needed to solve the problem of multiple generality, rendered impossible the kind of subject-predicate analysis that underlies medieval semantics.
- It's difficult to find problem of multiple generality in a sentence. 用problem of multiple generality造句挺難的
- On the other hand, a modern view of the problem of multiple generality in traditional logic concludes that quantifiers cannot nest usefully if there are no polyadic predicates to relate the bound variables.
- Whilst Aristotelian syllogistic logic specifies a small number of forms that the relevant part of the involved judgements may take, predicate logic allows sentences to be analysed into subject and argument in several additional ways allowing predicate logic to solve the problem of multiple generality that had perplexed medieval logicians.
- Medieval logicians recognized the problem of multiple generality, where Aristotelian logic is unable to satisfactorily render such sentences as " Some guys have all the luck ", because both quantities " all " and " some " may be relevant in an inference, but the fixed scheme that Aristotle used allows only one to govern the inference.
- The introduction of quantification, needed to solve the problem of multiple generality, rendered impossible the kind of subject-predicate analysis that governed Aristotle's account, although there is a renewed interest in term logic, attempting to find calculi in the spirit of Aristotle's syllogistic but with the generality of modern logics based on the quantifier.